منابع مشابه
2 PAO - ANN HSIUNG and
Model checking often faces the problem of reducing the large exponential sizes of state-space representations. Several reduction techniques such as bisimulation equivalence, partial-order semantics, and symmetry-based reduction have been proposed, but existing tools do not completely allow a user the flexibility in manipulating state spaces. We propose a new userfriendly verification environmen...
متن کاملThe Tao Te Ching
A number of problems arise when translating any work from a written language, such as early Chinese, into twentieth century English. One such problem is the difference between the written forms of the two languages, another is the difference between the two cultures, and a third is the time which elapsed between the writing of the original work, in this instance, some time between six hundred a...
متن کاملCystic Nephroma with Sarcomatous Transformation: a case report YI-CHIH HSU CHUNG-PING LO CHING-JIUNN WU
Cystic nephroma is a rare renal neoplasm which is usually benign histologically. We report a case of a 42-year-old woman with cystic nephroma arising from the lower pole of the right kidney with microscopic foci of sarcomatous stroma. Preoperative sonogram and CT scan were performed. Pathologic study revealed a cystic nephroma with foci of primitive, mesenchymal, undifferentiated, embryonal typ...
متن کاملChing-Hua Chuan
This paper explores the concepts of metrical consonance and dissonance in a broad and yet articulate way. Krebs first gives a brief review of previously studies. He then extends the definition by Yeston to combine the concepts of levels of motion and musical meter to define metrical consonance and dissonance. Another modification of Yeston’s work is extending the applicable range of dissonance ...
متن کاملThe Sea Empress Oil Spill : Environmental Impact and Recovery
72.000 tonnes of light crude oil were released from the Sea Empress at the entrance to Milford Haven, South Wales over a 7 day period in February 1996, in an area of exceptional environmental value for wildlife, tourism and natural beauty. Natural factors (time of year, wind direction) coupled with effective clean-up at sea (through chemical dispersion) and on shore, minimised environmental imp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
سال: 1971
ISSN: 1884-0051,0019-4344
DOI: 10.4259/ibk.20.44